# Copyright (c) Facebook, Inc. and its affiliates.
#
# This source code is licensed under the MIT license found in the
# LICENSE file in the root directory of this source tree.

TESTS_DIR = ../../..

INFER_OPTIONS = \
  --pulse-only --debug-exceptions --no-pulse-force-continue \
  --pulse-monitor-transitive-callees --pulse-monitor-transitive-missed-captures \
  --pulse-max-disjuncts 8 --log-pulse-coverage \

INFERPRINT_OPTIONS = \
  --issues-tests-fields file,procedure,line_offset,bug_type,bucket,severity,bug_trace,taint_extra,transitive_callees_extra,autofix \
  --issues-tests

HH_SOURCES = $(sort $(wildcard hh/*.hack))
SOURCES = $(sort $(wildcard *.hack))

include $(TESTS_DIR)/hack.make
